On Desirable Properties of the Structural Subsumption-Based Similarity Measure

Checking for subsumption relation is the main reasoning service readily available in classical DL reasoners. With their binary response stating whether two given concepts are in the subsumption relation, it is adequate for many applications relied on the service. However, in several specific applications, there often exists the case that requires an investigation for concepts that are not directly in a subclass-superclass relation but shared some commonality. In this case, providing merely a crisp response is apparently insufficient. To achieve this, the similarity measure for DL ELH, which is inspired by the homomorphism-based structural subsumption characterization, has been introduced. To ensure that the proposed method reaches the performance, in this work, desirable properties for concept similarity measure are checked and compared with those previously reported in other classical works.